منابع مشابه
The Strong Eternity Service
Strong Eternity Service is a safe and very reliable storage for data of high importance. We show how to establish persistent pseudonyms in a totally anonymous environment and how to create a unique fully distributed name-space allowing both computer-efficient and humanacceptable access. We also present a way how to retrieve information from such data storage. We adapt the notion of the mix-netw...
متن کاملDe Sitter Space and Eternity
This paper explores infrared quantum effects in the de Sitter space. The notion of ”eternal manifolds” is introduced and it is shown that in most cases the de Sitter space doesn’t belong to this class. It is unstable under small perturbations which may cause a breakdown of the de Sitter symmetry. The de Sitter string sigma model is discussed. It is argued that the gauge theory at the complex co...
متن کاملThe Eternity Service
The Internet was designed to provide a communications channel that is as resistant to denial of service attacks as human ingenuity can make it. In this note, we propose the construction of a storage medium with similar properties. The basic idea is to use redundancy and scattering techniques to replicate data across a large set of machines (such as the Internet), and add anonymity mechanisms to...
متن کاملFast Global Filtering for Eternity II
In this paper we consider the enumeration of all solutions of a 2D edge-matching puzzle. We show that a judicious modeling of the problem, combined with the use of appropriate data structures allows obtaining an effective filtering algorithm with complexity O(1) at each node a of tree search. Our experiments show the relevancy of the proposed power/complexity tradeoff, compared to the results o...
متن کاملEternity Variables to Simulate Specifications
Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sen'i Gakkaishi
سال: 2006
ISSN: 0037-9875,1884-2259
DOI: 10.2115/fiber.62.p_321